Design Principles for a Beginning Programming LanguageMINOR, John T; GEWALI, Laxmi P.Frontiers in education : computer science & computer engineering. International conferenceWorldComp'2011. 2011, pp 48-52, isbn 1-60132-180-5, 5 p.Conference Paper

System analysis and modeling (language profiles)Gotzhein, Reinhard; Reed, Rick.Lecture notes in computer science. 2006, issn 0302-9743, isbn 978-3-540-68371-1, 1Vol, X-228 p, isbn 978-3-540-68371-1Conference Proceedings

Minimal covers of formal languagesDOMARATZKI, Michael; SHALLIT, Jeffrey; SHENG YU et al.Lecture notes in computer science. 2002, pp 319-329, issn 0302-9743, isbn 3-540-43453-4Conference Paper

A reactive extension of C; Une extension réactive de CBOUSSINOT, Frédéric.Rapports de recherche - INRIA. 1989, Vol 1027, issn 0249-6399, 22 p.Report

CCITT SDL: Overview of the language and its applicationsSARACCO, R; TILANUS, P. A. J.Computer networks and ISDN systems. 1987, Vol 13, Num 2, pp 65-74, issn 0169-7552Article

An instruction-oriented environment for assembly language programmingNAVRAT, P.Computers and artificial intelligence. 1987, Vol 6, Num 5, pp 481-488, issn 0232-0274Article

On total regulators generated by derivation relationsBUCHER, W; EHRENFEUCHT, A; HAUSSLER, D et al.Theoretical computer science. 1985, Vol 40, Num 2-3, pp 131-148, issn 0304-3975Article

Une note sur le théorème de caractérisation des générateurs algébriques = A note on the characterization theorems for algebraic generatorsBEAUQUIER, J; GIRE, F.Theoretical computer science. 1987, Vol 51, Num 1-2, pp 117-127, issn 0304-3975Article

Membership and finiteness problems for rational sets of regular languagesAFONIN, Sergey; HAZOVA, Elena.Lecture notes in computer science. 2005, pp 88-99, issn 0302-9743, isbn 3-540-26546-5, 12 p.Conference Paper

Langages algébriques d'index rationnel singulier = Particular index of algebraic languagesFARINONE, Jean-Marc; AUTEBERT, Jean-Michel.1986, 220 pThesis

A language-independent approach to specification constructionLévy, N; Smith, G.1994, 11 p.Report

Rethinking SupercompilationMITCHELL, Neil.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 309-320, issn 1523-2867, 12 p.Conference Paper

Experience report : Building an eclipse-based IDE for haskellFRENZEL, Leif.ACM SIGPLAN notices. 2007, Vol 42, Num 9, pp 220-222, issn 1523-2867, 3 p.Conference Paper

The psychology of computer languages for introductory programming coursesMURNANE, J. S.New ideas in psychology. 1993, Vol 11, Num 2, pp 213-228, issn 0732-118XArticle

Experience Report: Using Hackage to Inform Language DesignGARRETT MORRIS, J.ACM SIGPLAN notices. 2010, Vol 45, Num 11, pp 61-66, issn 1523-2867, 6 p.Conference Paper

G-LOTOS: a graphical language for concurrent systemsBOLOGNESI, T; NAJM, E; TILANUS, P. A. J et al.Computer networks and ISDN systems. 1994, Vol 26, Num 9, pp 1101-1127, issn 0169-7552Article

Roy: A Statically Typed, Functional Language for JavascriptMCKENNA, Brian.IEEE internet computing. 2012, Vol 16, Num 3, pp 86-91, issn 1089-7801, 6 p.Article

Evaluation of Development Tools for Domain-Specific Modeling LanguagesAMYOT, Daniel; FARAH, Hanna; ROY, Jean-Francois et al.Lecture notes in computer science. 2006, pp 183-197, issn 0302-9743, isbn 978-3-540-68371-1, 1Vol, 15 p.Conference Paper

XASM : An extensible, component-based abstract state machines languageANLAUFF, M.Lecture notes in computer science. 2000, pp 69-90, issn 0302-9743, isbn 3-540-67959-6Conference Paper

Comparisons between some pumping conditions for context-free languagesHEWETT, R; SLUTZKI, G.Mathematical systems theory. 1989, Vol 21, Num 4, pp 223-233, issn 0025-5661Article

Inexpressibility results for regular languages in nonregular settingsSTRAUBING, Howard.Lecture notes in computer science. 2005, pp 69-77, issn 0302-9743, isbn 3-540-26546-5, 9 p.Conference Paper

Remarks on sublanguages consisting of primitive words of slender regular and context-free languagesDÖMÖSI, Pal; MARTIN-VIDE, Carlos; MITRSNA, Victor et al.Theory is forever : essays dedicated to Arto Salomaa on the occasion of this 70th birthday. Lecture notes in computer science. 2004, pp 60-67, issn 0302-9743, isbn 3-540-22393-2, 8 p.Book Chapter

Compiler generation tools for C#WÖSS, A; LÖBERBAUER, M; MÖSSENBÖCK, H et al.IEE Proceedings - Software (Print). 2003, Vol 150, Num 5, pp 323-327, issn 1462-5970, 5 p.Conference Paper

Permissive subsorted partial logic in CASLCERIOLI, M; HAXTHAUSEN, A; KRIEG-BRÜCKNER, B et al.Lecture notes in computer science. 1997, pp 91-107, issn 0302-9743, isbn 3-540-63888-1Conference Paper

Making a fast curry: Push/enter vs. eval/apply for higher-order languagesMARLOW, Simon; JONES, Simon Peyton.ACM SIGPLAN notices. 2004, Vol 39, Num 9, pp 4-15, issn 1523-2867, 12 p.Conference Paper